conversely directed quasiorder

逆有向拟序